Doubt about which OS put on RG35XXSP

Just got today my first retro-handheld and I'm having doubts about which OS to use in this little baby.

My options are the Stock OS or Knulli. I'll be greatful of any experience about performance and features of these 2.

One thing is making me doubt is that I've read Knulli doesn't have the same quick shutdown-save-resume function as the Stock OS, and it sounds like a desirable feature to have. What do you think?

Thank you all in advance